متصلۀ لزومی که از ارکان منطق سینوی است در منطق شفاء به لزومی بدیهی و غیربدیهی و نیز به لزومی به‌حسب الزام و لزومی به‌حسب واقع و نفس‌الامر تقسیم شده است. فهم ماهیت متصلۀ لزومی و احکام آن و نیز رابطۀ آن با انواع استلزام در منطق جدید و شناسایی ساختار متصلۀ لزومی، بدون شناسایی و فهم انواع آن امکان‌پذیر نیست. از‌این‌رو در این مقاله پس از بیان تعریف بوعلی از متصلۀ لزومی بدیهی و غیربدیهی و تحلیل و نقد...

در این مقاله پس از اشاره به اهمیت متصلۀ لزومیه و جایگاه آن در منطق قدیم، شروط صدق متصلۀ لزومیه در منطق سینوی و احکام آن و نیز دیدگاه های مختلف در مورد نسبت این متصله با انواع شرطی در منطق جدید بررسی، تحلیل و نقد می گردد. این دیدگاه ها به ترتیب تاریخی در رویکردهای زیر خلاصه می شود: رویکرد اول: متصلۀ لزومیه به دلیل علاقۀ خاص بین مقدم و تالی غیر از استلزام مادی و به دلیل اختلاف دیدگاه منطق قدیم و ...

در این مقاله پس از اشاره به اهمیت متصلۀ لزومیه و جایگاه آن در منطق قدیم، شروط صدق متصلۀ لزومیه در منطق سینوی و احکام آن و نیز دیدگاه‌های مختلف در مورد نسبت این متصله با انواع شرطی در منطق جدید بررسی، تحلیل و نقد می گردد. این دیدگاه‌ها به ترتیب تاریخی در رویکردهای زیر خلاصه می‌شود: رویکرد اول: متصلۀ لزومیه به دلیل علاقۀ خاص بین مقدم و تالی غیر از استلزام مادی و به دلیل اختلاف دیدگاه منطق قدیم و ...

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

ابن‌سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به‌حسب نفس‌الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس‌الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این‌رو، نزاع‌های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع‌های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده‌ایم و نشان...

ابن سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به حسب نفس الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این رو، نزاع های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده ایم و نشان...

فارابی و ابن سینا در آثار خود برای شرطی متصل اقسام بسیاری برشمرده و مباحث متنوعی در آثار پیروان خود پدید آورده اند. دو قسم مهم از این اقسام، عبارت است از «لزومی» و «اتفاقی» که هر کدام به اقسام جزئی تری تقسیم می شوند. در این مقاله، به شرطی لزومی و برخی از اقسام آن خواهیم پرداخت. چهار مبحث مهم درباره شرطی لزومی، عبارت است از 1. نسبت شرطی لزومی با شرطی اتفاقی و شرطی عام، 2. تجزیه و تحلیل اقسام شرط...

فارابی و ابن‌سینا در آثار خود برای شرطی متصل اقسام بسیاری برشمرده و مباحث متنوعی در آثار پیروان خود پدید آورده‌اند. دو قسم مهم از این اقسام، عبارت است از «لزومی» و «اتفاقی» که هر کدام به اقسام جزئی‌تری تقسیم می‌شوند. در این مقاله، به شرطی لزومی و برخی از اقسام آن خواهیم پرداخت. چهار مبحث مهم درباره شرطی لزومی، عبارت است از 1. نسبت شرطی لزومی با شرطی اتفاقی و شرطی عام، 2. تجزیه و تحلیل اقسام شر...

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می‌شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می‌آید، معادل ترکیب‌های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می‌باشد. این ترکیب اساسی‌ترین مفهوم منطق جدید محسوب می‌شود و در استدلال‌های پیچیدۀ ریاضی نتایج رضایت‌بخشی داده است. آگاهی یا عدم آگاهی منطق‌دانان قدیم از شروط صدق این ترکیب سئوا...

رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق دانان سینوی و مبتنی بر کاربر...